Nuprl Definition : rel-path
11,40
postcript
pdf
rel-path(
R
;
L
) ==
i
:{0..(||
L
|| - 1)
}.
L
[
i
]
R
L
[(
i
+1)]
latex
Definitions
x
:
A
.
B
(
x
)
,
{
i
..
j
}
,
n
-
m
,
||
as
||
,
x
f
y
,
l
[
i
]
,
n
+
m
,
#$n
FDL editor aliases
rel-path
origin